	cd $tmpdir
	
	# Download sources
	if [ ! -f "$gmp" ]; then
		echo "Downloading GNU gmp sources..."
		wget $gmpmirror/$gmp
		tar -xf $gmp
	fi
	
	# Configure and compile
	
	cd $gmpsrcdir
	
	./configure --prefix=$freondir --disable-static --enable-cxx
	
	make -j$corecount
	
	make install
	
	cd ..
